21. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
22. Logics in artificial intelligence :
پدیدآورنده: Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
23. Logics in artificial intelligence
پدیدآورنده: Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
,
334
,.
E985
24. Logics in artificial intelligence
پدیدآورنده: Sergio Flesca ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.
25. Logics in artificial intelligence
پدیدآورنده: / Manuel Ojeda-Aciego ... [et al.] (eds)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
Q
,
334
,.
L64
,
2000
QA
,
76
,.
L4
,
no
.
1919
26. Logics in artificial intelligence
پدیدآورنده: Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
Q334
.
J45
2012eb
27. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings
پدیدآورنده: Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1489
28. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings
پدیدآورنده: Manuel Ojeda-Aciego...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1919
29. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده: Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
30. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
پدیدآورنده: Sergio Flesca ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2424
31. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
32. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده: M. Reinfrank, ]editor[...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
33. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
34. Nonclassical logics and information processing : International Workshop, Berlin, November 9-10, 1990 : proceedings
پدیدآورنده: D. Pearce, H. Wansing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
619
35. Sorts and types in artificial intelligence
پدیدآورنده: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
رده :
QA
335
.
S6
1996
36. Sorts and types in artificial intelligence
پدیدآورنده: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
رده :
QA
335
.
S6
1996
37. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده: K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
38. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده: K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
39. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
40. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
